1

Basic Logic: Reflection, Symmetry, Visibility

Year:
2000
Language:
english
File:
PDF, 651 KB
english, 2000
3

Interactive observability in Ludics: The geometry of tests

Year:
2006
Language:
english
File:
PDF, 354 KB
english, 2006
4

Proof nets sequentialisation in multiplicative linear logic

Year:
2008
Language:
english
File:
PDF, 551 KB
english, 2008
6

An approach to innocent strategies as graphs

Year:
2012
Language:
english
File:
PDF, 617 KB
english, 2012
12

A term calculus for unitary approach to normalization

Year:
1999
Language:
english
File:
PDF, 129 KB
english, 1999